81. Automated deduction - CADE-24 :
پدیدآورنده : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; Maria Paola Bonacina (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatisches Beweisverfahren,DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE),DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
82. BIS 2000
پدیدآورنده : 4th International Conference on Business Information Systems, Poznań, Poland, 12-13 April 2000 ; Witold Abramowicz [und weitere], (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : BETRIEBLICHE INFORMATIONSSYSTEME (BETRIEBSWIRTSCHAFT),Betriebliches Informationssystem.,Informationsmanagement.
رده :
HF5548
.
2
T456
2000
83. BIS '99
پدیدآورنده : 3rd International Conference on Business Information Systems, Poznan, Poland, 14-16 April 1999. Witold Abramowicz and Maria E. Orlowska (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Betriebliches Informationssystem -- Kongress -- Posen (1997),Informationsmanagement -- Kongress -- Posen (1997),Informationsmanagement.
84. Bearing capacity of roads, railways and airfields
پدیدآورنده : Bearing capacity of roads, railways and airfields )International conference()6th : 2002 Jun : Lisbon(
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Transportation engineering -- Congresses.,bearing capacity,railways,airfields,BCRA
رده :
TA
.
B4
1145
2002
85. Bearing capacity of roads railways and airfields
پدیدآورنده : Proceedings of the 6th International Conference on the Bearing Capacity of Roads and Airfilds, Lisbon, 42-62 June 2002
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Railroad engineering,، Roads,، Airports
رده :
TF
57
.
B42
86. Behavior modification and families
پدیدآورنده : Banff International Conference on Behavior Modification, 6th, 4791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Behavior modification - Congresses,، Child psychology - Congresses,، Parent and child - Congresses
رده :
BF
637
.
B4
B34
1974
87. Behavior modifiction, approaches to patenting
پدیدآورنده : Banff International Conference on Behavior Modification, 6th, 4791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Behavior modifiction - Congresses,، Child psychology - Congresses,، Parent and child - Congresses
رده :
BF
637
.
B4B34
1974
88. Biaxial/multiaxial fatigue and fracture
پدیدآورنده : International Conference on Biaxial/Multiaxial Fatigue and Fracture)6th :1002 :Lisbon, Portugal(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Materials, Fatigue, Congresses,، Metals, Fatigue, Congresses
رده :
TA
460
.
I53185
2001
89. Biochemistry of exercise VII
پدیدآورنده : International Biochemistry of Exercise Conference
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Physiological aspects -Congresses ، Exercise,Physiology -Congresses ، Muscles
رده :
QP
301
.
I536
1988
90. Biochemistry of exercise VII
پدیدآورنده : International Biochemistry of Exercise Conference)7th :8891 : London, Ont.(,edited by Albert W. Taylor ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Exercise- Physiological aspects- Congresses,، Muscles- Physiology- Congresses,، Biochemistry- congresses,، Exercise- congresses,، Muscles- metabolism- congresses
رده :
QP
301
.
I536
91. Biological and biomimetic adhesives : challenges and opportunities
پدیدآورنده : International Conference on Biological and Biomimetic Adhesives )1st : 2102 : Universidade de Lisboa(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Adhesives,Congresses ، Biomimetic materials,، Adhesives,، Biomimetic materials
رده :
QP
517
.
B56
I58
2012
92. Biologically induced corrosion: proceedings of the International Conference on Biologically Induced Corrosion : June 10-12, 1985, Gaithersburg, Maryland
پدیدآورنده : International Conference on Biologically Induced Corrosion )5891 : Gaithersburg, Md.(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Metals- Biodegradation- Congresses,، Metals- Microbiology- Congresses,، Corrosion and anti-corrosives- Congresses,، Sulphur bacteria- Congresses
93. Book of abstracts /
پدیدآورنده : International Scientific Conference Applied geography in theory and practice, 5-6 November 2010, Zagreb ; [edited by Aleksandar Lukić].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
94. Boundary element method XVI
پدیدآورنده : International Conference on Boundary Element Methods )61th: 4991: Southampton, England(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Boundary element methods-Congresses
رده :
TA
347
.
B69
I565
1994
95. Boundary element technology IX
پدیدآورنده : International Conference on Boundary Element Technology)9 th: 4991: Orlando, Fla.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Boundary element methods- Congresses
رده :
TA
347
.
B69
I566
1994
96. Boundary element technology VIII
پدیدآورنده : International Conference on Boundary Element technology )8th:3991:Vilamoura, Portugal(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Boundary element methods- Congresses
رده :
TA
347
.
B69
I566
1993
97. Braking 2004. vehicle braking and chassis control
پدیدآورنده : International Conference on Vehicle Braking and Chassis Control)4002 :Leeds, England(,edited by David Barton and Andrew Blackwood
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automobiles- Brakes- Congresses,، Automobiles- Steering-gear- Congresses
رده :
TL
269
.
I53
2004
98. Bridge maintenance, safety, management, life-cycle performance and cost: proceedings of the third International Conference on Bridge Maintenance, Safety and Management, Porto, Portugal, 16-19 July 2006
پدیدآورنده : International Conference on Bridge Maintenance, Safety and Management )3rd: 6002: Porto, Portugal(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Maintenance and repair-- Congresses ، Bridges
رده :
TG
315
.
B755
2006
99. Business information systems 13th International Conference, BIS 2010, Berlin, Germany, May 3-5, 2010, proceedings
پدیدآورنده : International Conference on Business Information Systems)31th :0102 :Berlin, Germany(,Witold Abramowicz, Robert Tolksdorf )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Business, Data processing, Congresses,، Business, Technological innovations, Congresses,، Internet, Congresses
رده :
HF
5548
.
2
.
I463
2010
100. Business information systems. 10th international conference, BIS 2007, Poznaan, Poland, April 25-27, 2007. proceedings
پدیدآورنده : International Conference on Business Information Systems)01th :7002 :Poznaan, Poland(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Business- Data processing Congresses,، Information storage and retrieval systems Congresses
رده :
HF
5548
.
2
.
I463
2007